A causal model to analyze aircraft collision avoidance deadlock scenarios

[Abstract] Continuous increase in the traffic density over the certain en-route sectors provokes many situations in which a loss of separation minima (SM) between two aircraft occurs. Although, this loss is predicted well in advance, giving a proper look-ahead time (LAT) for a detection function, the resolution of such an event may lead to a new conflict situation due to dynamics of surrounding traffic aircraft. A multiagent system framework can deal with these cases. This work presents three different complexity indicators that can be used to shape the social behavior of the agents. Simulation results show that the proposed indicators can suggest drastically different nature of the same ecosystem, therefore further investigation of the correlation of the proposed indicators to the actual complexity is necessary.Ministerio de Economía y Competitividad; TIN2014-56919-C3-1-

Identification of spatiotemporal interdependencies and complexity evolution in a multiple aircraft environment

To support future automated transitions among the ATM safety nets, this study elaborates identification of the complex traffic scenarios based on the concept of aerial ecosystems. As an extension of the TCAS operational domain and evolving from the separation management towards collision avoidance layer, the concept has been developed as a stepwise algorithm for identification of cooperative aircraft involved in the safety event – detected conflict, and negotiating their resolution trajectories before the ecosystem deadlock event occurs, in which at least one aircraft stays out of a conflict-free resolution. As a response to this threshold, the paper examines generation of both acceptable and candidate resolution trajectories, with respect to the original aircraft trajectories. The candidate trajectories are generated from a set of tactical waypoints and a return waypoint to the original trajectory. Described methodology has been practically implemented to one ecosystem scenario, characterizing its evolution in terms of the intrinsic complexity. By introducing the heading maneuver changes and delay in the resolution process, the results have shown how the scenario complexity is increasing, especially affected by the states of two aircraft in the initial conflict. Furthermore, it has been demonstrated an evolution in the amount of the acceptable and candidate trajectory solutions, for which the minimum complexity value is satisfied. A goal of the study was to explore the lateral resolutions capacity at certain moments and its timely decrement

Adaptive self-governed aerial ecosystem by negotiated traffic

En els últims anys, s'han dut a terme diversos projectes de recerca importants en el marc de les iniciatives de Single European Sky Air Traffic Management (ATM) Research i Next Generation Air Transportation System, que s'ocupen de l'automatització en caixers automàtics. Aquestes iniciatives han previst l'automatització com un procés impulsat pel rendiment general de l'ATM, centrat en els objectius i limitacions del sistema. En un àmbit més ampli, els objectius es defineixen com una disposició de la separació necessària entre aeronaus per assolir els nivells objectiu de seguretat, mentre que la competitivitat del trànsit es manté mitjançant un sistema eficient, respectuós amb el medi ambient i socialment valuós. Una major densitat operativa, juntament amb la manca de capacitat de control del trànsit aeri (ATC), en el maneig d'una major complexitat del trànsit, imposa bàsicament una disposició de separació que s'ha d'implementar com a cooperativa i distribuïda, a més d'utilitzar usuaris d'espai aeri (AU). En aquest context, cal passar d'un model d'intervenció tàctica purament centralitzada cap a una planificació estratègica més eficient i operacions tàctiques proactives, que assumeixen canvis significatius dels rols i responsabilitats de tots els grups d'interès implicats. Això anticipa una integració operativa i fluida dels mecanismes i mecanismes de la xarxa de seguretat de tal manera que qualsevol parell d'avions implicats en un conflicte, juntament amb els avions de trànsit que l'envolten, es comporten com un sistema de trànsit aeri estable i eficient i sense conflictes. El treball d'investigació d'aquesta tesi explica un nou marc de seguretat que es basa en el concepte d'ecosistemes aeris per transformar els objectius no coordinats entre la gestió de la separació a nivell tàctic i l'evitació de col·lisions a nivell operatiu, en una cooperativa i eficient, sense conflictes sistema. Els ecosistemes aèries es poden entendre com un paradigma dels sistemes adaptatius complexos, en què les trajectòries aeronàutiques canvien i evolucionen amb el pas del temps a causa de les interaccions entre els avions implicats i el seu entorn canviant. La tesi comprèn pocs resultats analítics utilitzats pels mètodes quantitatius per a la identificació de les interdependències espaciotemporals i el càlcul de les solucions totals de nivell de l'ecosistema i el punt mort en el temps de l'ecosistema disponible. Els mètodes analítics són orientats a les aplicacions en comptes d'un basat en la teoria, desenvolupat amb un enfocament de modelització quantitatiu i discret, i personalitzat a les demandes de trànsit actuals i a l'entorn operatiu. Com a resultat, el marc de l'ecosistema té la capacitat d'explorar encara més la possible capacitat de resolució en un espai de cerca de les solucions del sistema. Un percentatge decreixent dels recursos disponibles de l'ecosistema i un temps transcorregut descriuen un camí potencial en una determinació explícita de la dinàmica de resolució, el que significa que cada moment perdut en la realització d'un acord de resolució podria repercutir en un nombre menor de maniobres lliures de conflictes, però també mantenir o augmentar-les en algunes circumstàncies. L'enfocament ha mostrat una importància en proporcionar la capacitat de temps d'un conjunt de certes maniobres a nivell operatiu, quan la gravetat de la situació del conflicte es produeix molt ràpidament. Amb un increment causal en diversos avions d'ecosistemes i diverses geometries de trajectòria, l'estructura de les interdependències espaciotemporals es fa més gran que pot produir menys capacitat de resolució i un menor temps de presa de decisions. La metodologia de modelatge es pot implementar com a eina de suport a la decisió a l'aire i en terra. Les investigacions de seguiment es formalitzaran en múltiples direccions a través de l'avanç conceptual de les regions de resolució, la integració dels models d'actuació de l'avió, el desenvolupament d'un model de modelatge de la complexitat del trànsit circumdant i la implementació dels ecosistemes cooperatius i competitius per a vehicles aeris no tripulats.En los últimos años, se han llevado a cabo varios proyectos de investigación importantes en el marco de las iniciativas de Single European Sky Air Traffic Management (ATM) Research y Next Generation Air Transportation System, que abordan la automatización en ATM. Esas iniciativas han previsto la automatización como un proceso impulsado por el rendimiento global de ATM, centrado en los objetivos y limitaciones del sistema. En un ámbito más amplio, los objetivos se definen como una disposición de la separación requerida entre las aeronaves para alcanzar los niveles de seguridad objetivo, mientras que la competitividad del tráfico se mantiene mediante un sistema eficiente, respetuoso con el medio ambiente y socialmente valioso. Una mayor densidad operativa junto con la falta de capacidad de control de tráfico aéreo (ATC), al manejar una mayor complejidad de tráfico, impone esencialmente una disposición de separación que se implementará como cooperativa y distribuida, incorporando también a los usuarios del espacio aéreo (AU). En este contexto, es necesario pasar de un modelo de intervención táctica puramente centralizado a una planificación estratégica más eficiente y operaciones tácticas proactivas, que supongan cambios significativos en los roles y responsabilidades de todas las partes interesadas. Eso anticipa una integración operacionalmente fluida de los mecanismos y procedimientos de la red de seguridad de tal manera que cualquier par de aeronaves involucradas en un conflicto, junto con la aeronave de tráfico circundante, se comporten como un sistema de tráfico aéreo estable, eficiente y libre de conflictos. El trabajo de investigación en esta tesis elabora un nuevo marco de red de seguridad que se basa en el concepto de ecosistemas aéreos para transformar los objetivos no coordinados entre la gestión de la separación a nivel táctico y la prevención de colisiones en el nivel operacional, en una cooperativa y eficiente, libre de conflictos sistema. Los ecosistemas aéreos se pueden entender como un paradigma de los complejos sistemas adaptativos, en los que las trayectorias de los aviones cambian y evolucionan con el tiempo debido a las interacciones entre las aeronaves involucradas y su entorno en constante cambio. La tesis comprende pocos resultados analíticos utilizados por medio de métodos cuantitativos para la identificación de las interdependencias espaciotemporales y el cálculo de las soluciones totales del nivel del ecosistema y el punto muerto dentro del tiempo del ecosistema disponible. Los métodos analíticos están más orientados a las aplicaciones que a la teoría, desarrollados con un enfoque de modelado discreto y cuantitativo, y personalizados según las demandas actuales de tráfico y el entorno operativo. Como resultado, el marco del ecosistema tiene la capacidad de seguir explorando la capacidad de resolución potencial en un espacio de búsqueda de las soluciones del sistema. Una tasa decreciente de los recursos del ecosistema disponibles y un tiempo transcurrido describen un camino potencial en una determinación explícita de la dinámica de resolución, lo que significa que cada momento perdido al hacer un acuerdo de resolución podría repercutir en un menor número de maniobras libres de conflicto, pero también mantenerlos o aumentarlos en algunas circunstancias. El enfoque ha demostrado la importancia de proporcionar la capacidad de tiempo para un conjunto de ciertas maniobras a nivel operacional, cuando la gravedad de la situación de conflicto ocurre muy rápidamente. Con un incremento causal en una serie de aeronaves de ecosistema y diversas geometrías de trayectoria, la estructura de las interdependencias espaciotemporales se hace más grande, lo que puede producir una menor capacidad de resolución y un tiempo de toma de decisiones más corto. La metodología de modelado se puede implementar como herramienta de apoyo a la decisión tanto en el aire como en tierra. La investigación de seguimiento se formalizará multidireccionalmente a través del avance conceptual de las regiones de resolución, la integración de los modelos de performance de la aeronave, el desarrollo de un modelo de aprendizaje automático para la complejidad del tránsito circundante y la implementación de ecosistemas cooperativos y competitivos para vehículos aéreos no tripulados.In recent years, several important research projects under the Single European Sky Air Traffic Management (ATM) Research and the Next Generation Air Transportation System initiatives, addressing the automation in ATM have been conducted. Those initiatives have envisaged the automation as a process driven by the overall ATM performance, focused on the system objectives and limitations. In a broader scope, the objectives are defined as a provision of the required separation between aircraft to meet the safety target levels, while the traffic competitiveness is maintained by means of an efficient system, environmentally friendly and socially valuable. An increased operational density together with a lack of the air traffic control (ATC) capacity, in handling a higher traffic complexity, essentially imposes a separation provision to be implemented as cooperative and distributed, engaging also the airspace users (AUs). In this context, it is necessary to shift from a purely centralized tactical intervention model towards a more efficient strategic planning and proactive tactical operations, which assume significant changes of the roles and responsibilities of all involved stakeholders. That anticipates an operationally seamless integration of the safety net mechanisms and procedures in such a way that any pair of aircraft involved in a conflict, together with the surrounding traffic aircraft, behave as a stable and efficient, conflict-free air traffic system. The research work in this thesis elaborates a novel safety net framework relying on the concept of aerial ecosystems to transform the non-coordinated targets between separation management at the tactical level and collision avoidance at the operational level, into a cooperative and efficient, conflict-free system. The aerial ecosystems can be understood as a paradigm of the complex adaptive systems, in which aircraft trajectories change and evolve over time because of interactions among involved aircraft and its ever-changing environment. The thesis comprises few analytical outcomes utilized by the means of quantitative methods for identification of the spatiotemporal interdependencies and computation of the total ecosystem-level solutions and deadlock within available ecosystem time. The analytical methods are applications-oriented rather than a theory-based, developed with a quantitative and discrete modelling approach, and customized to the current traffic demands and the operational environment. As a result, the ecosystem framework has an ability to further explore the potential resolution capacity in a search space of the system solutions. A decreasing rate of the available ecosystem resources and an elapsed time describe a potential path in an explicit determination of the resolution dynamics, meaning that each missed moment in making a resolution agreement might reprobate in a less number of the conflict-free maneuvers, but also maintain or increase them in some circumstances. The approach has shown a significance in providing the time capacity for a set of certain maneuvers at the operational level, when a severity of the conflict situation occurs very rapidly. With a causal increment in a number of ecosystem aircraft and diverse trajectory geometries, the structure of spatiotemporal interdependencies becomes larger which can produce less resolution capacity and a shorter decision-making time. The modeling methodology can be deployed as both the airborne and ground-based decision support tool. Follow-up research will be multi-directionally formalized throughout conceptual advancement of the resolution regions, integration of the aircraft performance models, development of a machine learning model for the surrounding traffic complexity, and implementation of the cooperative and competitive ecosystems for unmanned aerial vehicles

A methodology to perform air traffic complexity analysis based on spatio-temporal regions constructed around aircraft conflicts

One of the main missions of air traffic management is to guarantee en route safety. This safety is quantified through some minimum separation distance between pairs of flying aircraft. Current systems are human-based, i.e., have human air traffic controllers assuring minimum separation is maintained and in cases a loss of separation is predicted, they take actions to prevent the occurrence of such events. The constant and rapid increment of the air traffic demand is pushing current air traffic control systems to their limits. Development of automatic decision support systems, which can be used to automate, or support aircraft conflict detection and resolution, is considered a possible solution. However, the combinatorial nature of the problem poses several challenges for such a task. Metrics or various analytical procedures to produce information about the complexity of given scenarios can be used to guide the solution search process. In this paper, we present a complexity analysis based on the spatio-temporal interdependencies identified by the use of spatio-temporal regions constructed around the aircraft conflicts

Adaptive self-governed aerial ecosystem by negotiated traffic /

En els últims anys, s'han dut a terme diversos projectes de recerca importants en el marc de les iniciatives de Single European Sky Air Traffic Management (ATM) Research i Next Generation Air Transportation System, que s'ocupen de l'automatització en caixers automàtics. Aquestes iniciatives han previst l'automatització com un procés impulsat pel rendiment general de l'ATM, centrat en els objectius i limitacions del sistema. En un àmbit més ampli, els objectius es defineixen com una disposició de la separació necessària entre aeronaus per assolir els nivells objectiu de seguretat, mentre que la competitivitat del trànsit es manté mitjançant un sistema eficient, respectuós amb el medi ambient i socialment valuós. Una major densitat operativa, juntament amb la manca de capacitat de control del trànsit aeri (ATC), en el maneig d'una major complexitat del trànsit, imposa bàsicament una disposició de separació que s'ha d'implementar com a cooperativa i distribuïda, a més d'utilitzar usuaris d'espai aeri (AU). En aquest context, cal passar d'un model d'intervenció tàctica purament centralitzada cap a una planificació estratègica més eficient i operacions tàctiques proactives, que assumeixen canvis significatius dels rols i responsabilitats de tots els grups d'interès implicats. Això anticipa una integració operativa i fluida dels mecanismes i mecanismes de la xarxa de seguretat de tal manera que qualsevol parell d'avions implicats en un conflicte, juntament amb els avions de trànsit que l'envolten, es comporten com un sistema de trànsit aeri estable i eficient i sense conflictes. El treball d'investigació d'aquesta tesi explica un nou marc de seguretat que es basa en el concepte d'ecosistemes aeris per transformar els objectius no coordinats entre la gestió de la separació a nivell tàctic i l'evitació de col·lisions a nivell operatiu, en una cooperativa i eficient, sense conflictes sistema. Els ecosistemes aèries es poden entendre com un paradigma dels sistemes adaptatius complexos, en què les trajectòries aeronàutiques canvien i evolucionen amb el pas del temps a causa de les interaccions entre els avions implicats i el seu entorn canviant. La tesi comprèn pocs resultats analítics utilitzats pels mètodes quantitatius per a la identificació de les interdependències espaciotemporals i el càlcul de les solucions totals de nivell de l'ecosistema i el punt mort en el temps de l'ecosistema disponible. Els mètodes analítics són orientats a les aplicacions en comptes d'un basat en la teoria, desenvolupat amb un enfocament de modelització quantitatiu i discret, i personalitzat a les demandes de trànsit actuals i a l'entorn operatiu. Com a resultat, el marc de l'ecosistema té la capacitat d'explorar encara més la possible capacitat de resolució en un espai de cerca de les solucions del sistema. Un percentatge decreixent dels recursos disponibles de l'ecosistema i un temps transcorregut descriuen un camí potencial en una determinació explícita de la dinàmica de resolució, el que significa que cada moment perdut en la realització d'un acord de resolució podria repercutir en un nombre menor de maniobres lliures de conflictes, però també mantenir o augmentar-les en algunes circumstàncies. L'enfocament ha mostrat una importància en proporcionar la capacitat de temps d'un conjunt de certes maniobres a nivell operatiu, quan la gravetat de la situació del conflicte es produeix molt ràpidament. Amb un increment causal en diversos avions d'ecosistemes i diverses geometries de trajectòria, l'estructura de les interdependències espaciotemporals es fa més gran que pot produir menys capacitat de resolució i un menor temps de presa de decisions. La metodologia de modelatge es pot implementar com a eina de suport a la decisió a l'aire i en terra. Les investigacions de seguiment es formalitzaran en múltiples direccions a través de l'avanç conceptual de les regions de resolució, la integració dels models d'actuació de l'avió, el desenvolupament d'un model de modelatge de la complexitat del trànsit circumdant i la implementació dels ecosistemes cooperatius i competitius per a vehicles aeris no tripulats.En los últimos años, se han llevado a cabo varios proyectos de investigación importantes en el marco de las iniciativas de Single European Sky Air Traffic Management (ATM) Research y Next Generation Air Transportation System, que abordan la automatización en ATM. Esas iniciativas han previsto la automatización como un proceso impulsado por el rendimiento global de ATM, centrado en los objetivos y limitaciones del sistema. En un ámbito más amplio, los objetivos se definen como una disposición de la separación requerida entre las aeronaves para alcanzar los niveles de seguridad objetivo, mientras que la competitividad del tráfico se mantiene mediante un sistema eficiente, respetuoso con el medio ambiente y socialmente valioso. Una mayor densidad operativa junto con la falta de capacidad de control de tráfico aéreo (ATC), al manejar una mayor complejidad de tráfico, impone esencialmente una disposición de separación que se implementará como cooperativa y distribuida, incorporando también a los usuarios del espacio aéreo (AU). En este contexto, es necesario pasar de un modelo de intervención táctica puramente centralizado a una planificación estratégica más eficiente y operaciones tácticas proactivas, que supongan cambios significativos en los roles y responsabilidades de todas las partes interesadas. Eso anticipa una integración operacionalmente fluida de los mecanismos y procedimientos de la red de seguridad de tal manera que cualquier par de aeronaves involucradas en un conflicto, junto con la aeronave de tráfico circundante, se comporten como un sistema de tráfico aéreo estable, eficiente y libre de conflictos. El trabajo de investigación en esta tesis elabora un nuevo marco de red de seguridad que se basa en el concepto de ecosistemas aéreos para transformar los objetivos no coordinados entre la gestión de la separación a nivel táctico y la prevención de colisiones en el nivel operacional, en una cooperativa y eficiente, libre de conflictos sistema. Los ecosistemas aéreos se pueden entender como un paradigma de los complejos sistemas adaptativos, en los que las trayectorias de los aviones cambian y evolucionan con el tiempo debido a las interacciones entre las aeronaves involucradas y su entorno en constante cambio. La tesis comprende pocos resultados analíticos utilizados por medio de métodos cuantitativos para la identificación de las interdependencias espaciotemporales y el cálculo de las soluciones totales del nivel del ecosistema y el punto muerto dentro del tiempo del ecosistema disponible. Los métodos analíticos están más orientados a las aplicaciones que a la teoría, desarrollados con un enfoque de modelado discreto y cuantitativo, y personalizados según las demandas actuales de tráfico y el entorno operativo. Como resultado, el marco del ecosistema tiene la capacidad de seguir explorando la capacidad de resolución potencial en un espacio de búsqueda de las soluciones del sistema. Una tasa decreciente de los recursos del ecosistema disponibles y un tiempo transcurrido describen un camino potencial en una determinación explícita de la dinámica de resolución, lo que significa que cada momento perdido al hacer un acuerdo de resolución podría repercutir en un menor número de maniobras libres de conflicto, pero también mantenerlos o aumentarlos en algunas circunstancias. El enfoque ha demostrado la importancia de proporcionar la capacidad de tiempo para un conjunto de ciertas maniobras a nivel operacional, cuando la gravedad de la situación de conflicto ocurre muy rápidamente. Con un incremento causal en una serie de aeronaves de ecosistema y diversas geometrías de trayectoria, la estructura de las interdependencias espaciotemporales se hace más grande, lo que puede producir una menor capacidad de resolución y un tiempo de toma de decisiones más corto. La metodología de modelado se puede implementar como herramienta de apoyo a la decisión tanto en el aire como en tierra. La investigación de seguimiento se formalizará multidireccionalmente a través del avance conceptual de las regiones de resolución, la integración de los modelos de performance de la aeronave, el desarrollo de un modelo de aprendizaje automático para la complejidad del tránsito circundante y la implementación de ecosistemas cooperativos y competitivos para vehículos aéreos no tripulados.In recent years, several important research projects under the Single European Sky Air Traffic Management (ATM) Research and the Next Generation Air Transportation System initiatives, addressing the automation in ATM have been conducted. Those initiatives have envisaged the automation as a process driven by the overall ATM performance, focused on the system objectives and limitations. In a broader scope, the objectives are defined as a provision of the required separation between aircraft to meet the safety target levels, while the traffic competitiveness is maintained by means of an efficient system, environmentally friendly and socially valuable. An increased operational density together with a lack of the air traffic control (ATC) capacity, in handling a higher traffic complexity, essentially imposes a separation provision to be implemented as cooperative and distributed, engaging also the airspace users (AUs). In this context, it is necessary to shift from a purely centralized tactical intervention model towards a more efficient strategic planning and proactive tactical operations, which assume significant changes of the roles and responsibilities of all involved stakeholders. That anticipates an operationally seamless integration of the safety net mechanisms and procedures in such a way that any pair of aircraft involved in a conflict, together with the surrounding traffic aircraft, behave as a stable and efficient, conflict-free air traffic system. The research work in this thesis elaborates a novel safety net framework relying on the concept of aerial ecosystems to transform the non-coordinated targets between separation management at the tactical level and collision avoidance at the operational level, into a cooperative and efficient, conflict-free system. The aerial ecosystems can be understood as a paradigm of the complex adaptive systems, in which aircraft trajectories change and evolve over time because of interactions among involved aircraft and its ever-changing environment. The thesis comprises few analytical outcomes utilized by the means of quantitative methods for identification of the spatiotemporal interdependencies and computation of the total ecosystem-level solutions and deadlock within available ecosystem time. The analytical methods are applications-oriented rather than a theory-based, developed with a quantitative and discrete modelling approach, and customized to the current traffic demands and the operational environment. As a result, the ecosystem framework has an ability to further explore the potential resolution capacity in a search space of the system solutions. A decreasing rate of the available ecosystem resources and an elapsed time describe a potential path in an explicit determination of the resolution dynamics, meaning that each missed moment in making a resolution agreement might reprobate in a less number of the conflict-free maneuvers, but also maintain or increase them in some circumstances. The approach has shown a significance in providing the time capacity for a set of certain maneuvers at the operational level, when a severity of the conflict situation occurs very rapidly. With a causal increment in a number of ecosystem aircraft and diverse trajectory geometries, the structure of spatiotemporal interdependencies becomes larger which can produce less resolution capacity and a shorter decision-making time. The modeling methodology can be deployed as both the airborne and ground-based decision support tool. Follow-up research will be multi-directionally formalized throughout conceptual advancement of the resolution regions, integration of the aircraft performance models, development of a machine learning model for the surrounding traffic complexity, and implementation of the cooperative and competitive ecosystems for unmanned aerial vehicles